A Graph Model for Software Evolution

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

A Graph Model for Software Evolution

A Graph Model for Software Evolution

GRACE TECHNICAL REPORTS AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach

The application of AO techniques in model driven software development still faces strong challenges. Two challenges we focus on in this report are AO model evolution and synchronization. In this report, we adopt a BiG (Bidirectional Graph Transformation) approach to AO model evolution and synchronization. The essential idea of our approach to AO model evolution and synchronization is that we ch...

Computer-Aided Software Evolution Based on Inferred Dependencies*

The primary objective of this paper is to identify the dependencies among software evolution objects and to provide a framework for integrating software evolution activities with automated configuration control and computer-aided project management. We focus on supporting practical software development by creating automated tools that assist in the management of the software evolution process f...